The Universal Net Composition Operator

نویسنده

  • W. Reisig
چکیده

Petri nets are frequently composed of given nets. Literature suggests a lot of different composition operators, for different purposes and different classes of Petri nets. Formal definitions are frequently surprisingly technical, not matching the intuitively very elegant composition of Petri nets in the framework of their graphical representation. This paper suggests the universal net composition operator. This operator allows to specify any specific composition variant by very simple means, leaving all technical details to the operator, where they are treated once and for all. General properties of composition, in particular associativity, are inherited by all instantiations of the operator. We show the practical advantage of the universal composition operator by means of a lot of examples from various areas of Petri nets.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Identification and catch composition of fish from set net (Moshta) fishery in Bandar Abbas, Persin Gulf

This study on set-net fishing at the coastal area of Bandar Abbas was conducted from October to April 2012. A totally of 54 set-net operations were recorded, random samplig monthly of 9 set-net from Nakhlenakhoda, Khajehatatta and Suru were conducted. Catch data of every set-net operator were recorded monthly. Fishes were identified, length and weight frequency of fishes were recorded. Results ...

متن کامل

Multi-Objective Optimization of Solar Thermal Energy Storage Using Hybrid of Particle Swarm Optimization and Multiple Crossover and Mutation Operator

Increasing of net energy storage (Q net) and discharge time of phase change material (t PCM), simultaneously, are important purpose in the design of solar systems. In the present paper, Multi-Objective (MO) based on hybrid of Particle Swarm Optimization (PSO) and multiple crossover and mutation operator is used for Pareto based optimization of solar systems. The conflicting objectives are Q net...

متن کامل

Bilateral composition operators on vector-valued Hardy spaces

Let $T$ be a bounded operator on the Banach space $X$ and $ph$ be an analytic self-map of the unit disk $Bbb{D}$‎. ‎We investigate some operator theoretic properties of‎ ‎bilateral composition operator $C_{ph‎, ‎T}‎: ‎f ri T circ f circ ph$ on the vector-valued Hardy space $H^p(X)$ for $1 leq p leq‎ ‎+infty$.‎ ‎Compactness and weak compactness of $C_{ph‎, ‎T}$ on $H^p(X)$‎ ‎are characterized an...

متن کامل

L-FUZZY BILINEAR OPERATOR AND ITS CONTINUITY

The purpose of this paper is to introduce the concept of L-fuzzybilinear operators. We obtain a decomposition theorem for L-fuzzy bilinearoperators and then prove that a L-fuzzy bilinear operator is the same as apowerset operator for the variable-basis introduced by S.E.Rodabaugh (1991).Finally we discuss the continuity of L-fuzzy bilinear operators.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2009